using System;
using System.Runtime.CompilerServices;

namespace JetBrains.Annotations
{
	[AttributeUsage(AttributeTargets.Method, AllowMultiple = true, Inherited = true)]
	public sealed class ContractAnnotationAttribute : Attribute
	{
		[CompilerGenerated]
		private string string_0;

		[CompilerGenerated]
		private bool bool_0;

		public string FDT
		{
			[CompilerGenerated]
			get
			{
				return string_0;
			}
			[CompilerGenerated]
			private set
			{
				string_0 = value;
			}
		}

		public bool ForceFullStates
		{
			[CompilerGenerated]
			get
			{
				return bool_0;
			}
			[CompilerGenerated]
			private set
			{
				bool_0 = value;
			}
		}

		public ContractAnnotationAttribute([NotNull] string fdt)
			: this(fdt, forceFullStates: false)
		{
		}

		public ContractAnnotationAttribute([NotNull] string fdt, bool forceFullStates)
		{
			FDT = fdt;
			ForceFullStates = forceFullStates;
		}
	}
}
